261. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
262. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده : edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
263. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
پدیدآورنده : edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Applied mathematics.,Artificial intelligence.,Engineering.
رده :
QA76
.
9
.
S63
E358
2014
264. Proofs from THE BOOK /
پدیدآورنده : by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.
رده :
QA39
.
3
.
A36
2018eb
265. Recent Advances in Intelligent Paradigms and Applications
پدیدآورنده : edited by Ajith Abraham, Lakhmi C. Jain, Janusz Kacprzyk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
266. STACS 92 :
پدیدآورنده : A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
267. Self-Timed Control of Concurrent Processes
پدیدآورنده : edited by Victor I. Varshavsky.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
268. Social, cultural, and behavioral modeling :
پدیدآورنده : edited by Robert Thomson, Halil Bisgin, Christopher Dancy, Ayaz Hyder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Interactive computer systems, Congresses.,Interpersonal relations, Congresses.,Online social networks-- Psychological aspects, Congresses.,Interactive computer systems.,Interpersonal relations.
رده :
HM742
269. Stochastic local search :
پدیدآورنده : Holger H. Hoos, Thomas Stützle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
رده :
T57
.
79
.
H66
2005eb
270. Substitutions in dynamics, arithmetics, and combinatorics
پدیدآورنده : Pytheas Fogg, N.
کتابخانه: (سمنان)
موضوع : ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity
رده :
QA
267
.
F6S9
271. Substitutions in dynamics, arithmetics, and combinatorics
پدیدآورنده : Pytheas Fogg, N.
کتابخانه: (طهران)
موضوع : ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity
رده :
QA
3
.
L28
Vol
.
1794
272. Substitutions in dynamics, arithmetics and combinatorics
پدیدآورنده : Pytheas Fogg, N.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity
رده :
QA
3
.
L28
no
.
1794
273. The Combinatory Programme
پدیدآورنده : by Erwin Engeler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
رده :
QA9
.
5
B947
1995
274. The compressed word problem for groups /
پدیدآورنده : Markus Lohrey
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Group theory.,Word problems (Mathematics),Analysis.,Group Theory and Generalizations.,Mathematics.,Topological Groups, Lie Groups.
رده :
QA63
275. The evolution of language :
پدیدآورنده : editors Angelo Cangelosi, Andrew D.M. Smith & Kenny Smith.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and languages-- Origin, Congresses.,Language and languages-- Origin.,LANGUAGE ARTS & DISCIPLINES-- General.
رده :
P116
.
I64
2006eb
276. Theoretical computer science
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45
277. Theoretische Informatik :
پدیدآورنده : von Katrin Erk, Lutz Priese.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Computer science.,Computer software.
278. Theoretische Informatik :
پدیدآورنده : von Katrin Erk, Lutz Priese.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Computer science.,Computer software.
279. Theory of Coronoid Hydrocarbons II
پدیدآورنده : by S.J. Cyvin, J. Brunvoll, B.N. Cyvin, R.S. Chen, F.J. Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Annulenes.,Chemistry.,Combinatorial analysis.
رده :
QD341
.
A83
B975
1994
280. Topics in finite and discrete mathematics /
پدیدآورنده : Sheldon M. Ross.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.,Mathématiques.,Combinatieleer.,Diskrete Mathematik,Eindige wiskunde.,Grafentheorie.,Kombinatorik,Matemática.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Mathematics.,Mathematische programmering.
رده :
QA39
.
2
.
R65485
2000eb
